JavaScript modulių tipų tikrinimas: statinė analizė ir patvirtinimas | MLOG | MLOG